module M {
    foo(x: X.T) {}
}
